Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
71	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
72	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
73	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
74	Sequential Games and Optimal Strategies ´ and Paulo Oliva By Mart´ın Escardo University of Birmingham, Birmingham B15 2TT, UK Queen Mary University of London, London E1 4NS, UK This article gives an overview of recent Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-28 12:00:26 Quantification Functions and mappings Predicate logic Function Universal quantification Continuous function Constructible universe FO Nash equilibrium Mathematics Logic Mathematical analysis
75	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
76	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
77	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
78	Preserving Geometric Properties in Reconstructing Regions from Internal and Nearby Points Ernest Davis∗ Dept. of Computer Science New York University [removed] Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-10-21 18:05:11 Calculus Continuous function Metric space Constructible universe Liouville number Dyadic cubes Mathematics Mathematical analysis Geometry
79	Decomposing English and and or Linmin Zhang ([removed]), Department of Linguistics, New York University Background: English and and or are traditionally analyzed as boolean operators u and t (von Stechow 1974, Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:59 Μ operator Constructible universe Function Software engineering Computing Mathematics Fold Recursion
80	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic

UPDATE